We need to make the main jEdit toolbar allow other floating dockable toolbars to be
added by other plugins.
This way, the sidekick, console, and main toolbar can (in theory) share the same vertical
area.
Submitted | ezust - 2010-10-28 - 18:04:19z | Assigned | nobody |
---|---|---|---|
Priority | 7 | Category | core |
Status | Open | Group | None |
Resolution | None | Visibility | No |
2010-10-28 - 18:18:57z ezust |
And then we can make the incremental search toolbar floatable/dockable too. |
---|